Δωρεές 15 Σεπτεμβρίου 2024 – 1 Οκτωβρίου 2024 Σχετικά με συγκέντρωση χρημάτων
2
Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Runtime Verification: 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings

Έτος:
2018
Γλώσσα:
english
Αρχείο:
PDF, 21.40 MB
0 / 0
english, 2018
5
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
PDF, 5.87 MB
0 / 0
english, 2005
6
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
FB2 , 3.18 MB
0 / 0
english, 2005
7
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
TXT, 1.63 MB
0 / 0
english, 2005
8
Model-Based Testing of Reactive Systems

Model-Based Testing of Reactive Systems

Έτος:
2005
Γλώσσα:
english
Αρχείο:
MOBI , 1.81 MB
0 / 0
english, 2005
12
Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Έτος:
2021
Γλώσσα:
english
Αρχείο:
PDF, 14.97 MB
0 / 4.5
english, 2021